import static org.junit.Assert.*;

import org.junit.Test;

public class expensive_loop_invariant_test {
  @Test(timeout = 500)
  public void test() {
    // FIXME: it wiil be optimized by compiler.
    for (int i = 0; i < 100; i++) {
      expensive_loop_invariant.loop();
    }
    // TODO: Need to verify it's a really cheap loop.
    expensive_loop_invariant.cheap_loop();
  }
}
